| 1. Identificação | |
| Tipo de Referência | Artigo em Revista Científica (Journal Article) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 8JMKD3MGP3W/3LSCS2H |
| Repositório | sid.inpe.br/plutao/2016/06.14.11.49 (acesso restrito) |
| Última Atualização | 2018:04.13.16.14.50 (UTC) simone |
| Repositório de Metadados | sid.inpe.br/plutao/2016/06.14.11.49.12 |
| Última Atualização dos Metadados | 2018:06.04.23.26.06 (UTC) administrator |
| ISSN | 0302-9743 |
| Rótulo | lattes: 5039690360728170 1 SantiagoJúniorTaha:2016:TiPeFo |
| Chave de Citação | SantiagoJúniorTaha:2016:TiPeFo |
| Título | Time Performance Formal Evaluation of Complex Systems  |
| Ano | 2016 |
| Data de Acesso | 09 maio 2024 |
| Tipo Secundário | PRE PI |
| Número de Arquivos | 1 |
| Tamanho | 371 KiB |
| 2. Contextualização | |
| Autor | 1 Santiago Júnior, Valdivino Alexandre de 2 Tahar, Sofiène |
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JJB5 |
| Grupo | 1 LAC-CTE-INPE-MCTI-GOV-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Revista | Lecture Notes in Computer Science |
| Volume | 9526 |
| Páginas | 162-177 |
| Nota Secundária | A1_BIODIVERSIDADE A1_ADMINISTRAÇÃO,_CIÊNCIAS_CONTÁBEIS_E_TURISMO A2_GEOGRAFIA B1_SAÚDE_COLETIVA B1_INTERDISCIPLINAR B1_CIÊNCIAS_SOCIAIS_APLICADAS_I B2_EDUCAÇÃO B2_ARQUITETURA_E_URBANISMO B3_PSICOLOGIA B3_ODONTOLOGIA B3_MEDICINA_III B3_MEDICINA_II B3_MEDICINA_I B3_GEOCIÊNCIAS B3_ENGENHARIAS_II B3_ENGENHARIAS_I B3_EDUCAÇÃO_FÍSICA B3_DIREITO B4_MATERIAIS B4_BIOTECNOLOGIA B5_MEDICINA_VETERINÁRIA B5_ENSINO B5_CIÊNCIAS_BIOLÓGICAS_II B5_CIÊNCIAS_BIOLÓGICAS_I C_QUÍMICA C_MATEMÁTICA_/_PROBABILIDADE_E_ESTATÍSTICA C_ENGENHARIAS_IV C_ENGENHARIAS_III C_CIÊNCIAS_BIOLÓGICAS_III C_CIÊNCIAS_AMBIENTAIS C_CIÊNCIAS_AGRÁRIAS_I C_CIÊNCIA_DA_COMPUTAÇÃO C_ASTRONOMIA_/_FÍSICA |
| Histórico (UTC) | 2016-06-14 11:49:12 :: lattes -> administrator :: 2016-06-20 12:50:12 :: administrator -> lattes :: 2016 2016-12-05 21:28:54 :: lattes -> administrator :: 2016 2017-01-09 13:56:33 :: administrator -> simone :: 2016 2018-04-13 16:14:50 :: simone -> administrator :: 2016 2018-06-04 23:26:06 :: administrator -> simone :: 2016 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Tipo de Versão | publisher |
| Palavras-Chave | Performance Evaluation Probabilistic Model Checking Formal Verification Formal Methods |
| Área | COMP |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Time Performance Formal... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| Idioma | en |
| Arquivo Alvo | santiago_time.pdf |
| Grupo de Leitores | administrator simone |
| Visibilidade | shown |
| Política de Arquivamento | denypublisher denyfinaldraft12 |
| Permissão de Leitura | deny from all and allow from 150.163 |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Repositório Espelho | urlib.net/www/2011/03.29.20.55 |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/09.22.23.14 2 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 |
| Divulgação | WEBSCI; PORTALCAPES; COMPENDEX. |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Notas | Setores de Atividade: Pesquisa e desenvolvimento científico. |
| Campos Vazios | abstract alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn lineage mark month nextedition number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url usergroup |
| 7. Controle da descrição | |
| e-Mail (login) | simone |
| atualizar | |